Static Removal of Redundant Loads
نویسندگان
چکیده
This paper presents a strong technique for removing redundant loads from programs. The first part of the paper describes an algorithm for detecting memory redundancies (based on Simpson’s SCC value numbering algorithm [34]) and two frameworks for subsequently removing the redundant operations from the code (one based on available expressions [14] and the other on lazy code motion [23, 17]). The redundancy detection algorithm integrates global value numbering for scalar values with that for memory-based values. Prior work handles these separately and can fail to detect redundancies that arise from interactions between scalar and memory values. We present experimental results on codes from MediaBench and SPEC2000 that show reductions of up to 40% in the number of dynamically executed loads. The results also show that integrating the handling of scalar and memory values allows the frameworks to detect more scalar redundancies. The second half of the paper presents a novel classification of known static and dynamic techniques for removing redundant memory operations. It looks at the difference between intraprocedural and interprocedural effects. It distinguishes between single and multiple dynamic instances of the same static instruction. We present simulation results that show the effective limits of what can be obtained in each category. Our study shows that many run-time memory redundancies exist in highly optimized code, even after applying the techniques shown in the first half of the paper. This suggests that more aggressive methods to detect and remove dynamic memory redundancies should be profitable.
منابع مشابه
Comparison of Progressive Collapse Capacity of Steel Moment Resisting Frames and Dual Systems with Buckling Retrained Braces
Progressive collapse is a condition where local failure of a primary structural component leads to the collapse of neighboring members and the whole structure, consequently. In this paper, the progressive collapse potential of seismically designed steel dual systems with buckling restrained braces is investigated using the alternate path method, and their performances are compared with those of...
متن کاملPrimary Stability of Temporary Screws after Dentary and Orthopedic Forces under Static and Dynamic Load Cycles
The objective was to analyze the influence of dentary and orthopedic forces under static and dynamic loads in temporary screw stability. Self-drilling titanium (Ti6Al4V) screws (6 × 1.5 mm) were inserted and removed from pig ribs. Screws were loaded by static loads of 2 N and 5 N for 5 weeks. Dynamic force was applied during 56,000 cycles for simulations of a patient’s opening–closing mouth mov...
متن کاملTOPOLOGY OPTIMIZATION OF STRUCTURES UNDER TRANSIENT LOADS
In this article, an efficient methodology is presented to optimize the topology of structural systems under transient loads. Equivalent static loads concept is used to deal with transient loads and to solve an alternate quasi-static optimization problem. The maximum strain energy of the structure under the transient load during the loading interval is used as objective function. The objective f...
متن کاملInvestigation of Inclined Retaining Walls (Located on Slopes) Performance against Static and Earthquake Loads
متن کامل
Parametric Study of the Empty and Foam-Filled End-Capped Conical Tubes under quasi Static and Dynamic impact Loads
This paper investigates the parametric study of the empty and foam-filled end-capped tubes under quasi static and dynamic loadings. The numerical crash analysis of the empty and foam-filled tubes was performed using the explicit finite element code ABAQUS- explicit. Satisfactory agreements were generally achieved between the numerical and experimental results. In order to determine the crash be...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002